/*
 * Copyright (c) 2021 HPMicro
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 */

#include <stdio.h>
#include "board.h"

int main(void)
{
    board_init();

    printf("hello world\n");
     
    uint32_t count = 0; 
    while(1)
    {
      printf("count = %d s\r\n", count++);
      board_delay_ms(1000);
    }
   
    return 0;
}
